$theme-color: #324157;
$basic-font: #97a8be;
$info-color: #999999;
$target-color: #333333;
$color-stress: #f74342;

$border: #b0b0b0;
$border-hover: #808080;
